extension | φ:Q→Out N | d | ρ | Label | ID |
(C7xQ8).1C22 = SD16:D7 | φ: C22/C1 → C22 ⊆ Out C7xQ8 | 112 | 4- | (C7xQ8).1C2^2 | 224,110 |
(C7xQ8).2C22 = SD16:3D7 | φ: C22/C1 → C22 ⊆ Out C7xQ8 | 112 | 4 | (C7xQ8).2C2^2 | 224,111 |
(C7xQ8).3C22 = D7xQ16 | φ: C22/C1 → C22 ⊆ Out C7xQ8 | 112 | 4- | (C7xQ8).3C2^2 | 224,112 |
(C7xQ8).4C22 = Q16:D7 | φ: C22/C1 → C22 ⊆ Out C7xQ8 | 112 | 4 | (C7xQ8).4C2^2 | 224,113 |
(C7xQ8).5C22 = Q8.D14 | φ: C22/C1 → C22 ⊆ Out C7xQ8 | 112 | 4+ | (C7xQ8).5C2^2 | 224,114 |
(C7xQ8).6C22 = C28.C23 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 4 | (C7xQ8).6C2^2 | 224,137 |
(C7xQ8).7C22 = C2xC7:Q16 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 224 | | (C7xQ8).7C2^2 | 224,138 |
(C7xQ8).8C22 = D4.8D14 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 4 | (C7xQ8).8C2^2 | 224,145 |
(C7xQ8).9C22 = D4.9D14 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 4- | (C7xQ8).9C2^2 | 224,146 |
(C7xQ8).10C22 = Q8.10D14 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 4 | (C7xQ8).10C2^2 | 224,183 |
(C7xQ8).11C22 = D4.10D14 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 4- | (C7xQ8).11C2^2 | 224,186 |
(C7xQ8).12C22 = C14xQ16 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 224 | | (C7xQ8).12C2^2 | 224,169 |
(C7xQ8).13C22 = C7xC4oD8 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 2 | (C7xQ8).13C2^2 | 224,170 |
(C7xQ8).14C22 = C7xC8.C22 | φ: C22/C2 → C2 ⊆ Out C7xQ8 | 112 | 4 | (C7xQ8).14C2^2 | 224,172 |
(C7xQ8).15C22 = C7x2- 1+4 | φ: trivial image | 112 | 4 | (C7xQ8).15C2^2 | 224,194 |